1. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
2. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
3. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
L5855
1985
4. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
193
5. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
193
6. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
پدیدآورنده : / Edited by Edmund Clarke, Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
رده :
QA76
.
6
.
L5855
1985
7. Mathematical theory of program correctness
پدیدآورنده : Bakker, J. W. de )Jacobus Willem(, 9391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer programs -- Correctness,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
B335
8. Mathematical theory of program correctness
پدیدآورنده : Bakker, Jacobus Willem
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Correctness ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
B335
9. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a
10. Program logics for certified compilers /
پدیدآورنده : Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
رده :
QA76
.
76
.
V47
A65
2014
